Wyniki
-
On the completeness of program verifications methods
Balazs Biro
Bulletin of the Section of Logic , 10 /2 (1981) s. 83-90 -
On isomorphic but not lower-base-isomorphic cylindric set algebras
Balaza Biro
Bulletin of the Section of Logic , 13 /4 (1984) s. 230-232 -
W setną rocznicę urodzin Georges Mélièsa (1861-1938)
Yvette Biro, Zbigniew Gawrak
Kwartalnik Filmowy , 11 /4 (44) (1961) s. 57-62